Verifying points on a unit circle